#include <linux/sched.h>
#include <linux/init_task.h>
#include <linux/thread_info.h>

static struct signal_struct init_signals = INIT_SIGNALS(init_signals);

struct task_struct init_task = INIT_TASK(init_task);

struct thread_info init_thread_info __init_task_data = INIT_THREAD_INFO(init_task);
